Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
541	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
542	Shape Replication through Self-Assembly and RNase Enzymes Zachary Abel∗ Martin L. Demaine† Nadia Benbernou† Robin Flatland§ Add to Reading List Source URL: zacharyabel.com Language: English - Date: 2012-12-19 11:02:06 Theory of computation Wang tile Tile Construction Architecture Self-replication DNA Visual arts Tiling Mosaic
543	Things Computer Science Tells Us About Philosophy Rudy Rucker Department of Computer Science San Jose State University, CA www.rudyrucker.com Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2006-05-18 12:03:00 Rudy Rucker Artificial intelligence Computational neuroscience Computation A New Kind of Science Dialectic Strong AI Computer science Applied mathematics Science Computability theory Clarion Workshop
544	Models of Computation Jeff Erickson January 4, 2015 http://www.cs.illinois.edu/~jeffe/teaching/algorithms/ Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2015-01-04 17:28:55 Theoretical computer science Constructible universe Model theory String Μ operator Function Mathematics Formal languages Combinatorics on words
545	Requirements Engineering Conference 2004, Kyoto, Japan Composing Requirements Using Problem Frames Robin Laney, Leonor Barroca, Michael Jackson, Bashar Nuseibeh Dept. of Computing, The Open University, Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-05-21 13:08:10 Problem frames approach Systems analysis Models of computation Requirement Aspect-oriented software development Communications protocol Finite-state machine Software Requirements Specification Control theory Software development Software requirements Systems engineering
546	Asia Pacific Mathematics Newsletter 1 PushingBack Back the Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:08 Mathematics Computability theory Turing machine Alan Turing Halting problem Computable number Computability Turing test Interactive computation Theory of computation Theoretical computer science Computer science
547	Course Paper Implementation of a Turing simulator Jan Engelhardt March 17, 2005 Max-Plank-Gymnasium Göttingen Advances CS Add to Reading List Source URL: inai.de Language: English - Date: 2012-05-07 20:23:24 Theory of computation Computer science Alan Turing Models of computation Busy beaver Turing Universal Turing machine Turing completeness Turing machine Theoretical computer science Computability theory
548	Cellular Engineering M. Burgin Department of Mathematics University of California, Los Angeles 405 Hilgard Avenue Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Cellular automaton Theoretical computer science Mathematics Finite-state machine Reversible cellular automaton Cellular automata Theory of computation Automata theory
549	Computation of a Class of Continued Fraction Constants Lo¨ıck Lhote∗ Abstract We describe a class of algorithms which compute in polynomial– time important constants related to the Euclidean Dynamical System. Our a Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:18:47 Matrix theory Linear algebra Representation theory of Lie groups Eigenvalues and eigenvectors Singular value decomposition Weight Spectrum Sturm–Liouville theory Spectral theory of ordinary differential equations Algebra Mathematics Spectral theory
550	Proceedings of CEIRE98, Special Issue of Requirements Engineering Volume 3 Number 2, pages 73-78, A Discipline of Description (Keynote Talk) M. A. Jackson Independent Consultant Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-04-09 07:21:02 Systems engineering Problem frames approach Computability theory Systems theory Applied mathematics Systems science Software requirements Models of computation Requirement

UPDATE